/*@float*/(world.dayTime())